Dynamic logic - PDFSEARCH.IO - Document Search Engine

Dynamic logic
Results: 262

#	Item
131	Datasheet Search Site - http://www.Laogu.com Add to Reading List Source URL: www.hpinfotech.ro Language: English - Date: 2014-10-30 10:24:39 Computer memory Electronic engineering Electronics Liquid crystal display Microcontroller Dynamic random-access memory Logic level Digital electronics Computer hardware Display technology
132	Journal of Instruction-Level Parallelism Vol. 3 Submitted[removed]; Published 2002 The Design of DEETM: a Framework for Dynamic Energy Efficiency and Temperature Management Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2002-04-12 01:25:15 Theoretical computer science Computing Parallel computing Heat transfer Mathematical optimization Multi-core processor Mathematics Applied mathematics Operations research Algorithm Mathematical logic
133	Refactoring the Development Process: Experiences with the Incremental Adoption of Agile Practices Paul Hodgetts Agile Logic, Inc. Add to Reading List Source URL: www.agilelogic.com Language: English - Date: 2007-11-27 22:26:40 Software project management Software development process Formal methods Extreme programming Lean software development IBM Rational Unified Process Unified Process Project management Dynamic systems development method Software development Software Agile software development
134	Microsoft PowerPoint - DDR3 DIMM 1867 Data Sheet.ppt Add to Reading List Source URL: www.futureplus.com Language: English - Date: 2013-01-03 16:34:20 Digital electronics Computer memory Embedded systems Technology DDR3 SDRAM SDRAM Logic analyzer Synchronous dynamic random-access memory Tektronix Electronic test equipment Computer hardware Electronics
135	Model Reduction for Dynamic Sensor Steering: A Bayesian Approach to Inverse Problems by Sonja Wogrin Submitted to the School of Engineering Add to Reading List Source URL: raphael.mit.edu Language: English - Date: 2008-06-02 09:53:51 Mathematical optimization Mathematics Logic Algorithm Mathematical logic Theoretical computer science
136	Symbolic Dynamic Programming for First-Order MDPs Craig Boutilier Ray Reiter Bob Price Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2010-08-27 08:09:21 Predicate logic Dynamic programming Functions and mappings Equations Mathematical optimization Markov decision process Reinforcement learning Continuous function Function Mathematics Statistics Logic
137	Microsoft PowerPoint - FS2354_5_DS.ppt [Compatibility Mode] Add to Reading List Source URL: www.futureplus.com Language: English - Date: 2014-11-11 10:54:11 Computer memory Electronics Computing Electronic test equipment DDR3 SDRAM DIMM Synchronous dynamic random-access memory Logic analyzer Dynamic random-access memory Computer hardware Digital electronics SDRAM
138	Symbolic Dynamic Programming for First-order POMDPs Scott Sanner Kristian Kersting NICTA & ANU Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2010-04-14 03:16:52 Markov processes Stochastic control Mathematical sciences Mathematical optimization Logic programming Partially observable Markov decision process Markov decision process Situation calculus Optimal control Statistics Control theory Dynamic programming
139	The Elements of Computing Systems Add to Reading List Source URL: www.nand2tetris.org Language: English - Date: 2012-07-23 06:35:33 Electronics Digital electronics Logic gate Flip-flop Synchronous dynamic random-access memory Dynamic random-access memory Electronic engineering Computer hardware Computer memory
140	HC24-HPSRPG_ARM_DF20120807_final Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-07-28 00:28:05 Electrical engineering Digital electronics Logic gates Energy conservation Power gating Common Power Format Flip-flop Low-power electronics Dynamic voltage scaling Electronic engineering Electromagnetism Electronic design automation

UPDATE